Skip to main content

A recursively defined ordering for proving termination of term rewriting systems


Published 1978
SHOW MORE


"UILU-ENG 78 1736."

NSF MCS 77-22830."

Bibliography: p. 53


Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 943
Publisher Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign
Pages 74
Language English
Digitizing sponsor University of Illinois Urbana-Champaign
Book contributor University of Illinois Urbana-Champaign
Collection university_of_illinois_urbana-champaign; americana
Notes No copyright or contents pages.

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.

Reviews

There are no reviews yet. Be the first one to write a review.
PEOPLE ALSO FOUND
University of Illinois Urbana-Champaign
by Hungary. Országgyülés. Felsőház
31
0
0